1. A Mathematical Structure for Emergent Computation
Author: by Victor Korotkich.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra.,Algorithms.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematical optimization.,Mathematics.
2. Adaptive Resonance Theory Microchips
Author: by Teresa Serrano-Gotarredona, Bernabé Linares-Barranco, Andreas G. Andreou.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.,Logic, Symbolic and mathematical.
3. Algebra and computer science : "Joint AMS-EMS-SPM Meeting, Algebra and Computer Science, June 10-13, 2015, Porto, Portugal"; "Joint Mathematics Meeting, Groups, Algorithms, and Cryptography, January 10-13, 2015, San Antonio, TX"; "Joint AMS-Israel Mathematical Union Meeting, Applications of Algebra to Cryptography, June 16-19, 2014, Tel-Aviv, Israel"
Author: Delaram Kahrobaei, Bren Cavallo, David Garber, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Algebra,Congresses ، Computer science -- Mathematics
Classification :
QA
9
.
A1A42
4. Algorithmic and Symbolic Combinatorics
Author: / Stephen Melczer, Melczer, Stephen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Logic, Symbolic and mathematical,Discrete mathematics, Algorithms,a05
Classification :
QA9
5. Algorithmic aspects of algebra and logic : collected papers dedicated to Academician Sergei Ivanovich Adian on the Occasion of his 80th birthday
Author: ]volume editor, L.D. Beklemishev; translated and published by Maik Nauka/Interperiodica
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Algorithms
Classification :
QA
1
.
P736
Vol
.
274
6. Algorithmic logic /
Author: G. Mirkowska and A. Salwicki
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms,Formal languages,Logic, Symbolic and mathematical
Classification :
QA267
.
3
.
M57
1987
7. Artificial intelligence for big data :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Big data.,Business logistics-- Data processing.,Big data.,Business logistics-- Data processing.,COMPUTERS-- Databases-- Data Warehousing.
Classification :
QA76
.
9
.
B45
.
D474
2018eb
8. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
9. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
10. Combinatorics, computability and logic :
Author: C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA164
.
C733
2001
11. Computer Mathematics
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
12. Computer-aided design and manufacturing :
Author: T Kohonen
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
TS155
.
6
T564
2012
13. Current trends on knowledge-based systems
Author:
Library: Central library of medical university of Isfahan (Esfahan)
Subject: Expert systems (Computer science) ,Artificial intelligence,Computer science,Internet of things,Algorithms,Logic, Symbolic and mathematical,Data mining
Classification :
QA76
.
76
.
E95
C8
2017
14. Decision procedures
Author: / Daniel Kroening, Ofer Strichman
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Decision making--Mathematical models,Algorithms.,Logic, Symbolic and mathematical.
Classification :
QA
,
279
.
4
,.
K76
,
2008
15. Decision procedures : an algorithmic point of view
Author: Kroening, Daniel
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Mathematical models ، Decision making,، Algorithms,، Logic, Symbolic and mathematical
Classification :
QA
279
.
4
.
K76D4
2016
16. Discrete mathematics
Author: by Seymour Lipschutz, Ph.D. and Marc Lars Lipson, Ph.D.
Library: Library of Urmia University of Technology (West Azarbaijan)
Subject: Algebra, Abstract- Outlines, syllabi, etc,Combinatorial analysis- Outlines, syllabi, etc,Logic, Symbolic and mathematical- Outlines, syllabi, etc
Classification :
QA
,
162
,.
D57
,
2007
17. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Mathematics,Computer science -- Mathematics,Logic, Symbolic and mathematical
Classification :
QA
39
.
3
.
R67
2007
18. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Mathematics,Computer science, Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
19. Discrete mathematics and its applications
Author: / Kenneth H. Rosen
Library: Ilam University Central Library (Ilam)
Subject: Mathematics,Computer science- Mathematics,Logic, Symbolic and mathematical
Classification :
QA39
.
3
.
R67
2007
